/* Javadoc style sheet */

/* Define colors, fonts and other style attributes here to override the defaults  */

/* Page background color */
body { background-color: #FFFFFF }

/* Table colors */
.TableHeadingColor     { background: #CCCCFF } /* Dark mauve */
.TableSubHeadingColor  { background: #EEEEFF } /* Light mauve */
.TableRowColor         { background: #FFFFFF } /* White */

/* Font used in left-hand frame lists */
.FrameTitleFont   { font-size: medium; font-family: normal }
.FrameHeadingFont { font-size: medium; font-family: normal }
.FrameItemFont    { font-size: medium; font-family: normal }

/* Example of smaller, sans-serif font in frames */
/* .FrameItemFont  { font-size: 10pt; font-family: Helvetica, Arial, sans-serif } */

/* Navigation bar fonts and colors */
.NavBarCell1    { background-color:#EEEEFF;}/* Light mauve */
.NavBarCell1Rev { background-color:#00008B;}/* Dark Blue */
.NavBarFont1    { font-family: Arial, Helvetica, sans-serif; color:#000000;}
.NavBarFont1Rev { font-family: Arial, Helvetica, sans-serif; color:#FFFFFF;}

.NavBarCell2    { font-family: Arial, Helvetica, sans-serif; background-color:#FFFFFF;}
.NavBarCell3    { font-family: Arial, Helvetica, sans-serif; background-color:#FFFFFF;}

/***************************************************************************
		Additions to the Javadoc default style sheet to
		facilitate PDF conversion using the Web Capture
                feature of Adobe Acrobat.
***************************************************************************/

/* The following definitions would result in better layout in print-outs */
/* and PDFs -- if only the html user agents actually respected them.     */

p  { page-break-before: avoid; orphans: 0; widows: 0; }
dl { page-break-inside: avoid; orphans: 0; widows: 0; }
dd { page-break-inside: avoid; orphans: 0; widows: 0; }
h1 { page-break-after: avoid }
h2 { page-break-after: avoid }
h3 { page-break-after: avoid }
h4 { page-break-after: avoid }

/* The "orphan" class is a dirty hack to force a heading and its following */
/* paragraph onto the same page in the PDF output. Use it only where       */
/* absolutely needed. */

.orphan { page-break-before: always }

/***************************************************************************
		Additions to the Javadoc default style sheet to
                enable change markup.

		Usage Examples:

		<v2>this is new for M3G 2.0</v2>
		<p class="v2">this is also new for 2.0</p>

		<v2kill>this has been removed in M3G 2.0</v2>
		<dep>this is deprecated</dep>

		<ff>this text is included in Full and Core specs</ff>
		<ab>this text is included in Full and Advanced specs</ab>
		<pureff>this text is included in Core spec only</pureff>
		<pureab>this text is included in Advanced spec only</pureff>
		<full>this text is included in the full spec only</full>
***************************************************************************/

/** Stylesheet for public release: everything shown, but no color coding **/

.ab      { }
ab       { }
.ff      { }
ff       { }
.full    { }
full     { }
.dep	 { }
dep	 { }
.v2 	 { }
v2	 { }
.pureab  { display: none; }
pureab   { display: none; }
.pureff  { display: none; }
pureff   { display: none; }
.private { display: none; }
private  { display: none; }
.v2kill  { display: none; }
v2kill   { display: none; }

/***************************************************************************
		Additions to the Javadoc default style sheet to
                format the "@ru.k2s.example" code examples. These
                are copied from the stylesheet that comes bundled
                with the Example Taglet.
***************************************************************************/

/* the code example body */
pre.example {
			padding: 4px;
			border-style: solid;
			border-width: 1px;
			border-color: black;
			white-space: pre;
			background: #f8f8f8;
			font-size: small;
		}
		
.example A:link { color: blue; }
.example A:visited { color: blue; }
.example A:hover { color: blue; background: #f0f0f0; }

/* the title of the example */
.example_title { font-weight: bold; }

/* comments */
.example_comment { color: #008000; }

/* primary types: int, boolean, float */
.example_type { font-weight: bold; }

/* identifiers beginning with capitals */
.example_class { color: #000080; }
.example_class A:link { color: #000080; }
.example_class A:visited { color: #000080; }
.example_class A:hover { color: #000080; background: #f0f0f0; }

/* public, protected, private */
.example_modifier { font-weight: bold; color: #606060; }

/* class definition: class, extends, implements */
.example_proclamation { font-weight: bold; color: #b04090; }

/* flow control: if, for, return */
.example_control { color: #800080; font-weight: bold; }

/* strings */
.example_string { color:blue; }

/* true, false */
.example_literal { color:blue; }

/***************************************************************************
		Additions to the Javadoc default style sheet to
                enable review question markup. Comment/uncomment to toggle
                markup on/off.
***************************************************************************/

.review	{ color: blue; }

/***************************************************************************
		Additions to the Javadoc default style sheet to
                highlight collision related changes. Comment/uncomment to
				toggle markup on/off.
***************************************************************************/

.collision { color: olive; }

